1.1.8.16. osx.cocoa.ObjCGenerics (ObjC)
Check for type errors when using Objective-C generics.

Examples:

NSMutableArray *names = [NSMutableArray array];
NSMutableArray *birthDates = names;

// Warning: Conversion from value of type 'NSDate *'
// to incompatible type 'NSString *'
[birthDates addObject: [NSDate date]];